Философский энциклопедический словарь - метатеория
Связанные словари
Метатеория
метатеория
(греч. meta — после, за и греч. theoria — наблюдение, рассмотрение, исследование) — теория, предметом исследования к-рой является нек-рая др. теория. М. изучает систему положений и понятий к.-л. теории; устанавливает ее границы, способы введения новых понятий и доказательства ее положений и т. д., давая возможность более рациональным способом ее построить. М. формулируется на метаязыке (Метаязык и язык-объект). В настоящее время наиболее развиты М. логики (Металогика) и математики (Метаматематика); в их развитии особую роль сыграли работы Гильберта, Гёделя, С. Клини. В создании М. для нематематических дисциплин сделаны лишь первые шаги. Центральной задачей М. является исследование условий формализации научных теорий, а также синтаксических (Логический синтаксис) и семантических (Логическая семантика) свойств формализованных языков. Такие исследования приобретают особое значение в связи с развитием кибернетики и вычислительной техники.
Рейтинг статьи:
См. в других словарях
1.
теория, предназначенная для анализа структуры, свойств, методов и законов некоторой другой теории, называющейся предметной, или объектной. Понятие М. было введено нем. математиком Д. Гильбертом в связи с созданием программы обоснования классической математики средствами разработанной им теории доказательств. Наиболее результативно М. применяются в исследованиях логических теорий (металогика) и оснований математики (метаматематика). Здесь объектом М. являются частично или полностью формализованные теории (формальные системы), В металогике и метаматематике обычно выделяют две взаимосвязанные части: синтаксис, где изучается структура и дедуктивные средства объектной теории, и семантику, изучающую значения и правила интерпретации выражений объектной теории. Ряд метатеоретических результатов, полученных Гильбертом, Гёделем, Тарским и др., имеет не только специальное логико-математическое, но и важное философское значение. ...Современная западная философия
2.
(от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой другой теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. логики и математики (в металогике и метаматематике). Объектом исследования М. обычно оказывается не содержание объектной теории, а ее формальные свойства, поэтому она предварительно формализуется и представляется в виде формального исчисления. В М. можно выделить две части: синтаксис, изучающий структурные и дедуктивные свойства исследуемой теории; семантику, рассматривающую вопросы, связанные с интерпретацией изучаемой теории. ...Словарь по логике
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2505 | |
2 | 2322 | |
3 | 1991 | |
4 | 1976 | |
5 | 1926 | |
6 | 1830 | |
7 | 1724 | |
8 | 1660 | |
9 | 1641 | |
10 | 1506 | |
11 | 1426 | |
12 | 1388 | |
13 | 1382 | |
14 | 1379 | |
15 | 1251 | |
16 | 1072 | |
17 | 1063 | |
18 | 1060 | |
19 | 1036 | |
20 | 963 |